home *** CD-ROM | disk | FTP | other *** search
/ Internet Info 1994 March / Internet Info CD-ROM (Walnut Creek) (March 1994).iso / security / doc / clippings / 911004-02 < prev    next >
Encoding:
Internet Message Format  |  1991-10-31  |  1.8 KB
  1. From: kuhn@swe.ncsl.nist.gov (Rick Kuhn)
  2. Newsgroups: comp.software-eng,alt.security,comp.specification
  3. Subject: Report on Assurance of High Integrity Software
  4. Message-ID: <951@dove.nist.gov>
  5. Date: 4 Oct 91 18:09:42 GMT
  6. Organization: NIST
  7.  
  8. Assurance of High Integrity Software - report available
  9.  
  10. The need for dependable software has resulted in the production of a
  11. variety of standards:  the Trusted Computer Security Evaluation
  12. Criteria ("Orange Book"), the British MoD 00-55, the DO-178A standard
  13. for civil aviation, the IEC 880 standard for the nuclear industry, and
  14. others.  Because of technical, economic, and political considerations,
  15. these standards approach the question of assurance from a variety of
  16. viewpoints.  There is much disagreement over how dependable software
  17. can be produced.  The controversy over MoD 00-55, with its requirement
  18. for formal methods and deprecated programming practices, is a recent
  19. example.
  20.  
  21. To address the question of assuring the trustworthiness and integrity
  22. of software, and what assurances should be required in standards, the
  23. National Institute of Standards and Technology brought together experts
  24. >From industry, academia, and government in a Workshop on the Assurance
  25. of High Integrity Software in January.  The report is now available for
  26. electronic distribution.  (It will soon be available from the Govt.
  27. Printing Office in paper form.) The report can be obtained from our
  28. mail server.  Both Postscript and troff formats are available.  Send a
  29. message containing ONE of the following requests to posix@nist.gov:
  30.  
  31.  
  32.     send ahisrptp               /* for Postscript */
  33.  
  34.     send ahisrptt               /* for troff */
  35.  
  36.  
  37. The report will be delivered as three (troff) or 16 (postscript) email
  38. messages.  Remove the headers and concatenate the files, then unpack
  39. them using either 'unshar' or the UNIX shell 'sh'.  (Instructions
  40. included in the files.)
  41.  
  42.